Description Logics with Aggregates
نویسندگان
چکیده
This is a new, extended version of a report with the same number.
منابع مشابه
Making CAT S out of kittens description logics with aggregates
Based on the research done in the last decade attempts have been made to propose descrip tion logics as unifying formalisms for the var ious class based representation languages used in di erent areas These attempts have made apparent that sound complete and decidable description logics still su er from several lim itations regarding modeling classes of aggre gate objects expressing general inc...
متن کاملOn Scene Interpretation with Description Logics
We examine the possible use of description logics (DLs) as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that so-called aggregates composed of multiple parts and constrained primarily by temporal and spatial relations can be used to represent high-level concepts such as object configurations, occurrences, events, and episodes that are required ...
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملA Possibilistic Extension of Description Logics
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an extension of description logics. We give semantics and syntax of possibilistic description logics. Two kinds of inference services are considered in our logics and algorithms are provided for them. These algorithms are imp...
متن کاملParaconsistent Reasoning for Expressive and Tractable Description Logics
Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage that it can be implemented by invoking classical reasoners to keep the same complexity as classical semantics. In this paper, we further study how to extend the four-valued semantics to more expressive description logics, such as...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998